Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
نویسندگان
چکیده
In this paper we consider the expansions of logics of a left-continuous t-norm with truth-constants from a subalgebra of the rational unit interval. From known results on standard semantics, we study completeness for these propositional logics with respect to chains defined over the rational unit interval with a special attention to the completeness with respect to the canonical chain, i.e. the algebra over [0, 1]∩Q where each truth-constant is interpreted in its corresponding rational truth-value. Finally, we study rational completeness results when we restrict ourselves to deductions between the so-called evaluated formulae.
منابع مشابه
Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
In this paper we consider the expansions of logics of a left-continuous tnorm with truth-constants from a subalgebra of the rational unit interval. From known results on standard semantics, we study completeness for these propositional logics with respect to chains de?ned over the rational unit interval with a special attention to the completeness with respect to the canonical chain, i.e. the a...
متن کاملFirst-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties
This paper aims at being a systematic investigation of different completeness properties of first-order predicate logics with truth-constants based on a large class of left-continuous t-norms (mainly continuous and weak nilpotent minimum t-norms). We consider standard semantics over the real unit interval but also we explore alternative semantics based on the rational unit interval and on finit...
متن کاملOn Modal Expansions of Left-continuous T-norm Logics
Modal fuzzy logics is a research topic that has attracted increasing attention in the last years. Several papers have been published treating different aspects, see for instance [6] for a modal expansion of Lukasiewicz logic, [3, 4, 2] for modal expansions of Gödel fuzzy logic, [1] for modal logics over finite residuated lattices, and more recently [7] for a modal expansion of Product fuzzy log...
متن کاملOn expansions of WNM t-norm based logics with truth-constants
This paper focuses on completeness results about generic expansions of propositional Weak Nilpotent Minimum (WNM) logics with truth-constants. Indeed, we consider algebraic semantics for expansions of these logics with a set of truth-constants {r | r ∈ C}, for a suitable countable C ⊆ [0, 1], and provide a full description of completeness results when (i) the t-norm is a Weak Nilpotent Minimum ...
متن کاملAdding truth-constants to logics of continuous t-norms: Axiomatization and completeness results
In this paper we study generic expansions of logics of continuous t-norms with truth-constants, taking advantage of previous results for Lukasiewicz logic and more recent results for Gödel and Product logics. Indeed, we consider algebraic semantics for expansions of logics of continuous t-norms with a set of truth-constants {r | r ∈ C}, for a suitable countable C ⊆ [0, 1], and provide a full de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Soft Comput.
دوره 14 شماره
صفحات -
تاریخ انتشار 2010